[next] [prev] [prev-tail] [tail] [up]

2.2.9 Integrals 801 to 900

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 801

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 31 23 21 19 23 26 20 26

N.S.

1 0.76 0.56 0.51 0.46 0.56 0.63 0.49 0.63

time (sec)

N/A 0.149 0.020 0.037 0.206 0.230 0.407 0.315 0.160

Problem 802

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 31 24 21 19 23 29 20 26

N.S.

1 0.76 0.59 0.51 0.46 0.56 0.71 0.49 0.63

time (sec)

N/A 0.150 0.023 0.047 0.211 0.217 0.601 0.320 0.168

Problem 803

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 31 24 21 19 23 31 20 26

N.S.

1 0.76 0.59 0.51 0.46 0.56 0.76 0.49 0.63

time (sec)

N/A 0.146 0.022 0.049 0.216 0.220 0.776 0.300 0.168

Problem 804

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 43 37 32 54 33 49 35 0

N.S.

1 0.75 0.65 0.56 0.95 0.58 0.86 0.61 0.00

time (sec)

N/A 0.163 0.025 0.203 0.218 0.216 0.486 0.285 0.000

Problem 805

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 43 35 32 52 33 51 35 0

N.S.

1 0.75 0.61 0.56 0.91 0.58 0.89 0.61 0.00

time (sec)

N/A 0.165 0.024 0.115 0.210 0.218 0.147 0.283 0.000

Problem 806

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 43 35 32 49 33 49 35 0

N.S.

1 0.75 0.61 0.56 0.86 0.58 0.86 0.61 0.00

time (sec)

N/A 0.169 0.021 0.112 0.221 0.223 0.121 0.289 0.000

Problem 807

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 43 33 30 44 31 49 35 0

N.S.

1 0.78 0.60 0.55 0.80 0.56 0.89 0.64 0.00

time (sec)

N/A 0.164 0.021 0.110 0.215 0.214 0.104 0.299 0.000

Problem 808

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 25 23 0 27 41 29 0

N.S.

1 1.00 0.96 0.88 0.00 1.04 1.58 1.12 0.00

time (sec)

N/A 0.134 0.004 0.256 0.000 0.216 0.107 0.308 0.000

Problem 809

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 35 33 33 0 32 46 32 0

N.S.

1 0.71 0.67 0.67 0.00 0.65 0.94 0.65 0.00

time (sec)

N/A 0.159 0.029 0.346 0.000 0.232 1.061 0.288 0.000

Problem 810

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 33 31 32 0 31 44 31 0

N.S.

1 0.67 0.63 0.65 0.00 0.63 0.90 0.63 0.00

time (sec)

N/A 0.163 0.028 0.210 0.000 0.218 1.170 0.278 0.000

Problem 811

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 37 34 34 0 33 49 35 0

N.S.

1 0.69 0.63 0.63 0.00 0.61 0.91 0.65 0.00

time (sec)

N/A 0.164 0.033 0.349 0.000 0.220 1.040 0.280 0.000

Problem 812

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 44 37 32 54 36 49 35 0

N.S.

1 0.73 0.62 0.53 0.90 0.60 0.82 0.58 0.00

time (sec)

N/A 0.165 0.030 0.205 0.224 0.219 0.452 0.311 0.000

Problem 813

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 44 37 32 52 36 51 35 0

N.S.

1 0.73 0.62 0.53 0.87 0.60 0.85 0.58 0.00

time (sec)

N/A 0.165 0.030 0.123 0.223 0.216 0.271 0.298 0.000

Problem 814

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 44 37 32 49 36 49 35 0

N.S.

1 0.73 0.62 0.53 0.82 0.60 0.82 0.58 0.00

time (sec)

N/A 0.164 0.027 0.112 0.203 0.215 0.278 0.282 0.000

Problem 815

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 44 33 30 44 36 49 35 0

N.S.

1 0.73 0.55 0.50 0.73 0.60 0.82 0.58 0.00

time (sec)

N/A 0.160 0.025 0.199 0.212 0.212 0.368 0.292 0.000

Problem 816

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 44 36 29 40 36 44 35 0

N.S.

1 0.73 0.60 0.48 0.67 0.60 0.73 0.58 0.00

time (sec)

N/A 0.158 0.002 0.111 0.208 0.221 0.587 0.286 0.000

Problem 817

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 44 34 32 0 34 44 35 0

N.S.

1 0.76 0.59 0.55 0.00 0.59 0.76 0.60 0.00

time (sec)

N/A 0.158 0.003 0.111 0.000 0.213 0.276 0.277 0.000

Problem 818

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 26 23 0 30 41 29 0

N.S.

1 1.00 0.96 0.85 0.00 1.11 1.52 1.07 0.00

time (sec)

N/A 0.130 0.004 0.112 0.000 0.220 0.398 0.285 0.000

Problem 819

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 36 35 33 0 35 49 32 0

N.S.

1 0.69 0.67 0.63 0.00 0.67 0.94 0.62 0.00

time (sec)

N/A 0.154 0.028 0.127 0.000 0.225 0.924 0.322 0.000

Problem 820

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 46 37 32 49 42 49 44 0

N.S.

1 0.70 0.56 0.48 0.74 0.64 0.74 0.67 0.00

time (sec)

N/A 0.159 0.029 0.209 0.208 0.218 0.355 0.299 0.000

Problem 821

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 46 35 30 44 42 49 44 0

N.S.

1 0.70 0.53 0.45 0.67 0.64 0.74 0.67 0.00

time (sec)

N/A 0.156 0.029 0.114 0.221 0.224 0.389 0.298 0.000

Problem 822

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 46 38 29 40 42 44 44 0

N.S.

1 0.70 0.58 0.44 0.61 0.64 0.67 0.67 0.00

time (sec)

N/A 0.157 0.002 0.133 0.219 0.227 0.299 0.308 0.000

Problem 823

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 46 34 32 40 42 44 44 0

N.S.

1 0.70 0.52 0.48 0.61 0.64 0.67 0.67 0.00

time (sec)

N/A 0.154 0.002 0.262 0.220 0.223 0.332 0.287 0.000

Problem 824

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 46 38 32 0 42 44 44 0

N.S.

1 0.70 0.58 0.48 0.00 0.64 0.67 0.67 0.00

time (sec)

N/A 0.160 0.002 0.120 0.000 0.224 0.739 0.291 0.000

Problem 825

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 46 36 32 0 40 49 44 0

N.S.

1 0.72 0.56 0.50 0.00 0.62 0.77 0.69 0.00

time (sec)

N/A 0.154 0.002 0.128 0.000 0.213 0.378 0.311 0.000

Problem 826

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 26 23 0 36 46 41 0

N.S.

1 1.00 0.90 0.79 0.00 1.24 1.59 1.41 0.00

time (sec)

N/A 0.129 0.004 0.125 0.000 0.222 0.389 0.282 0.000

Problem 827

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 38 35 33 0 41 51 41 0

N.S.

1 0.66 0.60 0.57 0.00 0.71 0.88 0.71 0.00

time (sec)

N/A 0.154 0.028 0.228 0.000 0.224 1.726 0.270 0.000

Problem 828

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 41 35 32 54 36 49 42 0

N.S.

1 0.72 0.61 0.56 0.95 0.63 0.86 0.74 0.00

time (sec)

N/A 0.154 0.026 0.119 0.213 0.216 0.639 0.310 0.000

Problem 829

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 41 36 32 47 34 51 42 0

N.S.

1 0.72 0.63 0.56 0.82 0.60 0.89 0.74 0.00

time (sec)

N/A 0.151 0.025 0.124 0.206 0.220 0.499 0.280 0.000

Problem 830

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 24 21 42 30 46 39 0

N.S.

1 1.00 1.00 0.88 1.75 1.25 1.92 1.62 0.00

time (sec)

N/A 0.123 0.001 0.116 0.227 0.210 0.243 0.289 0.000

Problem 831

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 33 32 31 35 35 56 43 0

N.S.

1 0.63 0.62 0.60 0.67 0.67 1.08 0.83 0.00

time (sec)

N/A 0.148 0.003 0.207 0.201 0.217 0.542 0.316 0.000

Problem 832

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 31 36 29 35 34 49 42 0

N.S.

1 0.66 0.77 0.62 0.74 0.72 1.04 0.89 0.00

time (sec)

N/A 0.149 0.028 0.364 0.216 0.233 1.569 0.286 0.000

Problem 833

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 35 33 34 31 36 44 36 0

N.S.

1 0.71 0.67 0.69 0.63 0.73 0.90 0.73 0.00

time (sec)

N/A 0.151 0.030 0.211 0.237 0.216 1.109 0.285 0.000

Problem 834

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 31 30 33 32 42 29 33

N.S.

1 1.00 1.19 1.15 1.27 1.23 1.62 1.12 1.27

time (sec)

N/A 0.130 0.029 0.365 0.226 0.228 0.585 0.308 0.355

Problem 835

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 41 35 31 33 34 51 31 42

N.S.

1 0.72 0.61 0.54 0.58 0.60 0.89 0.54 0.74

time (sec)

N/A 0.154 0.027 0.218 0.242 0.228 0.471 0.293 0.196

Problem 836

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 26 23 52 30 46 39 0

N.S.

1 1.00 0.96 0.85 1.93 1.11 1.70 1.44 0.00

time (sec)

N/A 0.134 0.004 0.119 0.227 0.225 0.275 0.275 0.000

Problem 837

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 36 35 33 45 35 51 48 0

N.S.

1 0.59 0.57 0.54 0.74 0.57 0.84 0.79 0.00

time (sec)

N/A 0.156 0.028 0.126 0.231 0.217 0.867 0.287 0.000

Problem 838

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 34 35 32 42 34 56 46 0

N.S.

1 0.61 0.62 0.57 0.75 0.61 1.00 0.82 0.00

time (sec)

N/A 0.158 0.002 0.123 0.247 0.219 1.111 0.290 0.000

Problem 839

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 38 32 32 35 36 56 42 0

N.S.

1 0.66 0.55 0.55 0.60 0.62 0.97 0.72 0.00

time (sec)

N/A 0.156 0.002 0.270 0.222 0.231 1.619 0.307 0.000

Problem 840

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 34 27 37 32 42 29 33

N.S.

1 1.00 1.17 0.93 1.28 1.10 1.45 1.00 1.14

time (sec)

N/A 0.136 0.027 0.214 0.201 0.213 0.416 0.299 0.190

Problem 841

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 44 34 32 33 34 46 31 42

N.S.

1 0.67 0.52 0.48 0.50 0.52 0.70 0.47 0.64

time (sec)

N/A 0.159 0.026 0.119 0.216 0.219 0.422 0.286 0.187

Problem 842

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 44 35 32 33 34 46 31 42

N.S.

1 0.67 0.53 0.48 0.50 0.52 0.70 0.47 0.64

time (sec)

N/A 0.163 0.029 0.125 0.206 0.228 0.796 0.314 0.186

Problem 843

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 44 35 32 33 34 51 31 42

N.S.

1 0.67 0.53 0.48 0.50 0.52 0.77 0.47 0.64

time (sec)

N/A 0.166 0.029 0.128 0.212 0.221 0.437 0.416 0.253

Problem 844

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 34 35 32 45 34 49 42 0

N.S.

1 0.61 0.62 0.57 0.80 0.61 0.88 0.75 0.00

time (sec)

N/A 0.158 0.029 0.220 0.222 0.223 1.013 0.419 0.000

Problem 845

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 38 34 34 38 36 51 36 0

N.S.

1 0.66 0.59 0.59 0.66 0.62 0.88 0.62 0.00

time (sec)

N/A 0.155 0.032 0.124 0.233 0.222 1.254 0.420 0.000

Problem 846

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 33 30 44 32 48 29 33

N.S.

1 1.00 1.14 1.03 1.52 1.10 1.66 1.00 1.14

time (sec)

N/A 0.135 0.002 0.122 0.207 0.216 0.661 0.454 0.209

Problem 847

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 44 33 30 37 34 51 31 42

N.S.

1 0.67 0.50 0.45 0.56 0.52 0.77 0.47 0.64

time (sec)

N/A 0.157 0.002 0.125 0.216 0.218 0.727 0.452 0.186

Problem 848

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 44 36 29 37 34 46 31 42

N.S.

1 0.67 0.55 0.44 0.56 0.52 0.70 0.47 0.64

time (sec)

N/A 0.155 0.027 0.120 0.217 0.215 0.868 0.461 0.201

Problem 849

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 44 34 32 33 34 46 31 42

N.S.

1 0.67 0.52 0.48 0.50 0.52 0.70 0.47 0.64

time (sec)

N/A 0.157 0.027 0.217 0.209 0.225 0.702 0.429 0.191

Problem 850

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 44 35 32 33 34 46 31 42

N.S.

1 0.67 0.53 0.48 0.50 0.52 0.70 0.47 0.64

time (sec)

N/A 0.155 0.031 0.121 0.206 0.224 0.651 0.401 0.196

Problem 851

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 44 35 32 33 34 51 31 42

N.S.

1 0.67 0.53 0.48 0.50 0.52 0.77 0.47 0.64

time (sec)

N/A 0.159 0.031 0.128 0.220 0.218 0.908 0.407 0.198

Problem 852

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 70 64 63 128 62 0 81 0

N.S.

1 0.69 0.63 0.62 1.25 0.61 0.00 0.79 0.00

time (sec)

N/A 0.188 0.046 0.132 0.233 0.217 0.000 0.392 0.000

Problem 853

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 57 54 52 110 51 0 69 0

N.S.

1 0.71 0.68 0.65 1.38 0.64 0.00 0.86 0.00

time (sec)

N/A 0.178 0.040 0.226 0.228 0.222 0.000 0.380 0.000

Problem 854

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 44 41 40 91 39 0 54 0

N.S.

1 0.76 0.71 0.69 1.57 0.67 0.00 0.93 0.00

time (sec)

N/A 0.168 0.035 0.131 0.233 0.218 0.000 0.419 0.000

Problem 855

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 31 29 29 74 27 0 37 0

N.S.

1 0.82 0.76 0.76 1.95 0.71 0.00 0.97 0.00

time (sec)

N/A 0.156 0.023 0.132 0.229 0.217 0.000 0.349 0.000

Problem 856

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 21 21 0 20 0 28 0

N.S.

1 1.00 0.95 0.95 0.00 0.91 0.00 1.27 0.00

time (sec)

N/A 0.133 0.003 0.131 0.000 0.216 0.000 0.367 0.000

Problem 857

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 31 28 26 24 64 0 0 0

N.S.

1 0.74 0.67 0.62 0.57 1.52 0.00 0.00 0.00

time (sec)

N/A 0.139 0.030 0.296 0.208 0.232 0.000 0.000 0.000

Problem 858

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 41 32 33 37 31 0 0 0

N.S.

1 0.67 0.52 0.54 0.61 0.51 0.00 0.00 0.00

time (sec)

N/A 0.163 0.032 0.394 0.210 0.221 0.000 0.000 0.000

Problem 859

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 55 53 51 52 44 0 0 0

N.S.

1 0.65 0.63 0.61 0.62 0.52 0.00 0.00 0.00

time (sec)

N/A 0.177 0.045 0.245 0.216 0.230 0.000 0.000 0.000

Problem 860

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 71 64 63 124 67 0 81 0

N.S.

1 0.66 0.60 0.59 1.16 0.63 0.00 0.76 0.00

time (sec)

N/A 0.181 0.043 0.131 0.225 0.237 0.000 0.368 0.000

Problem 861

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 58 53 52 109 55 0 69 0

N.S.

1 0.69 0.63 0.62 1.30 0.65 0.00 0.82 0.00

time (sec)

N/A 0.168 0.038 0.130 0.224 0.228 0.000 0.320 0.000

Problem 862

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 45 42 40 93 42 0 54 0

N.S.

1 0.74 0.69 0.66 1.52 0.69 0.00 0.89 0.00

time (sec)

N/A 0.161 0.002 0.294 0.230 0.228 0.000 0.373 0.000

Problem 863

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 32 30 29 75 29 0 37 0

N.S.

1 0.80 0.75 0.72 1.88 0.72 0.00 0.92 0.00

time (sec)

N/A 0.150 0.001 0.395 0.210 0.221 0.000 0.319 0.000

Problem 864

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 22 21 13 21 0 28 0

N.S.

1 1.00 0.96 0.91 0.57 0.91 0.00 1.22 0.00

time (sec)

N/A 0.125 0.002 0.242 0.209 0.217 0.000 0.301 0.000

Problem 865

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 32 29 26 24 66 0 0 0

N.S.

1 0.73 0.66 0.59 0.55 1.50 0.00 0.00 0.00

time (sec)

N/A 0.138 0.027 0.147 0.220 0.229 0.000 0.000 0.000

Problem 866

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 42 34 33 37 33 0 0 0

N.S.

1 0.66 0.53 0.52 0.58 0.52 0.00 0.00 0.00

time (sec)

N/A 0.159 0.032 0.151 0.232 0.227 0.000 0.000 0.000

Problem 867

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 56 53 51 52 47 0 0 0

N.S.

1 0.64 0.60 0.58 0.59 0.53 0.00 0.00 0.00

time (sec)

N/A 0.171 0.041 0.244 0.223 0.233 0.000 0.000 0.000

Problem 868

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 70 65 62 66 59 0 0 0

N.S.

1 0.62 0.58 0.55 0.59 0.53 0.00 0.00 0.00

time (sec)

N/A 0.183 0.055 0.147 0.222 0.226 0.000 0.000 0.000

Problem 869

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 86 76 74 146 91 0 116 0

N.S.

1 0.61 0.54 0.52 1.03 0.64 0.00 0.82 0.00

time (sec)

N/A 0.201 0.054 0.133 0.225 0.220 0.000 0.292 0.000

Problem 870

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 73 65 63 130 77 0 99 0

N.S.

1 0.62 0.56 0.54 1.11 0.66 0.00 0.85 0.00

time (sec)

N/A 0.189 0.008 0.237 0.219 0.219 0.000 0.290 0.000

Problem 871

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 60 54 52 114 63 0 84 0

N.S.

1 0.65 0.59 0.57 1.24 0.68 0.00 0.91 0.00

time (sec)

N/A 0.179 0.002 0.144 0.222 0.224 0.000 0.303 0.000

Problem 872

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 47 44 40 97 48 0 66 0

N.S.

1 0.70 0.66 0.60 1.45 0.72 0.00 0.99 0.00

time (sec)

N/A 0.165 0.002 0.154 0.218 0.225 0.000 0.329 0.000

Problem 873

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 34 32 29 77 33 0 46 0

N.S.

1 0.77 0.73 0.66 1.75 0.75 0.00 1.05 0.00

time (sec)

N/A 0.153 0.002 0.269 0.242 0.220 0.000 0.298 0.000

Problem 874

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 22 21 13 23 0 34 0

N.S.

1 1.00 0.88 0.84 0.52 0.92 0.00 1.36 0.00

time (sec)

N/A 0.130 0.002 0.198 0.205 0.214 0.000 0.309 0.000

Problem 875

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 34 30 26 24 70 0 0 0

N.S.

1 0.71 0.62 0.54 0.50 1.46 0.00 0.00 0.00

time (sec)

N/A 0.136 0.030 0.339 0.205 0.228 0.000 0.000 0.000

Problem 876

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 44 34 33 37 37 0 0 0

N.S.

1 0.63 0.49 0.47 0.53 0.53 0.00 0.00 0.00

time (sec)

N/A 0.163 0.033 0.413 0.217 0.226 0.000 0.000 0.000

Problem 877

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 55 51 50 142 54 0 75 0

N.S.

1 0.66 0.61 0.60 1.71 0.65 0.00 0.90 0.00

time (sec)

N/A 0.171 0.039 0.234 0.235 0.219 0.000 0.326 0.000

Problem 878

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 42 39 38 100 42 0 66 0

N.S.

1 0.69 0.64 0.62 1.64 0.69 0.00 1.08 0.00

time (sec)

N/A 0.159 0.033 0.132 0.226 0.221 0.000 0.319 0.000

Problem 879

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 29 27 27 64 30 0 46 0

N.S.

1 0.74 0.69 0.69 1.64 0.77 0.00 1.18 0.00

time (sec)

N/A 0.149 0.024 0.132 0.216 0.227 0.000 0.313 0.000

Problem 880

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 19 46 23 0 32 0

N.S.

1 1.00 1.00 0.95 2.30 1.15 0.00 1.60 0.00

time (sec)

N/A 0.127 0.001 0.129 0.232 0.218 0.000 0.301 0.000

Problem 881

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 29 27 24 35 70 0 0 0

N.S.

1 0.76 0.71 0.63 0.92 1.84 0.00 0.00 0.00

time (sec)

N/A 0.135 0.003 0.131 0.203 0.222 0.000 0.000 0.000

Problem 882

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 39 36 30 37 34 0 0 0

N.S.

1 0.72 0.67 0.56 0.69 0.63 0.00 0.00 0.00

time (sec)

N/A 0.160 0.034 0.295 0.217 0.234 0.000 0.000 0.000

Problem 883

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 53 51 51 55 47 0 0 0

N.S.

1 0.69 0.66 0.66 0.71 0.61 0.00 0.00 0.00

time (sec)

N/A 0.173 0.046 0.389 0.204 0.233 0.000 0.000 0.000

Problem 884

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 67 63 62 69 58 0 0 0

N.S.

1 0.67 0.63 0.62 0.69 0.58 0.00 0.00 0.00

time (sec)

N/A 0.182 0.051 0.239 0.213 0.223 0.000 0.000 0.000

Problem 885

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 58 53 52 162 54 0 80 0

N.S.

1 0.61 0.56 0.55 1.71 0.57 0.00 0.84 0.00

time (sec)

N/A 0.176 0.040 0.139 0.238 0.223 0.000 0.307 0.000

Problem 886

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 45 41 40 140 42 0 72 0

N.S.

1 0.64 0.59 0.57 2.00 0.60 0.00 1.03 0.00

time (sec)

N/A 0.163 0.034 0.137 0.229 0.218 0.000 0.297 0.000

Problem 887

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 32 29 29 116 30 0 50 0

N.S.

1 0.71 0.64 0.64 2.58 0.67 0.00 1.11 0.00

time (sec)

N/A 0.152 0.026 0.295 0.219 0.221 0.000 0.325 0.000

Problem 888

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 22 21 74 23 0 37 0

N.S.

1 1.00 0.96 0.91 3.22 1.00 0.00 1.61 0.00

time (sec)

N/A 0.127 0.002 0.395 0.218 0.216 0.000 0.313 0.000

Problem 889

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 32 29 26 35 70 0 0 0

N.S.

1 0.73 0.66 0.59 0.80 1.59 0.00 0.00 0.00

time (sec)

N/A 0.136 0.028 0.298 0.213 0.230 0.000 0.000 0.000

Problem 890

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 42 35 33 51 34 0 0 0

N.S.

1 0.67 0.56 0.52 0.81 0.54 0.00 0.00 0.00

time (sec)

N/A 0.155 0.002 0.392 0.207 0.226 0.000 0.000 0.000

Problem 891

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 56 50 49 65 47 0 0 0

N.S.

1 0.63 0.56 0.55 0.73 0.53 0.00 0.00 0.00

time (sec)

N/A 0.166 0.003 0.236 0.204 0.228 0.000 0.000 0.000

Problem 892

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 70 66 59 69 58 0 0 0

N.S.

1 0.61 0.57 0.51 0.60 0.50 0.00 0.00 0.00

time (sec)

N/A 0.177 0.049 0.140 0.202 0.224 0.000 0.000 0.000

Problem 893

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 71 81 87 135 83 0 96 0

N.S.

1 0.67 0.76 0.82 1.27 0.78 0.00 0.91 0.00

time (sec)

N/A 0.193 0.061 0.137 0.341 0.224 0.000 0.304 0.000

Problem 894

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 59 70 75 118 72 0 80 0

N.S.

1 0.69 0.82 0.88 1.39 0.85 0.00 0.94 0.00

time (sec)

N/A 0.185 0.053 0.138 0.295 0.229 0.000 0.304 0.000

Problem 895

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 46 53 60 96 57 0 58 0

N.S.

1 0.71 0.82 0.92 1.48 0.88 0.00 0.89 0.00

time (sec)

N/A 0.172 0.047 0.234 0.250 0.222 0.000 0.283 0.000

Problem 896

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 36 36 41 79 38 0 46 0

N.S.

1 0.77 0.77 0.87 1.68 0.81 0.00 0.98 0.00

time (sec)

N/A 0.164 0.034 0.137 0.207 0.221 0.000 0.285 0.000

Problem 897

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 23 23 16 23 32 29 22

N.S.

1 1.00 0.96 0.96 0.67 0.96 1.33 1.21 0.92

time (sec)

N/A 0.132 0.004 0.136 0.206 0.218 0.351 0.299 0.273

Problem 898

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 42 45 52 38 42 0 0 0

N.S.

1 0.65 0.69 0.80 0.58 0.65 0.00 0.00 0.00

time (sec)

N/A 0.168 0.045 0.146 0.210 0.242 0.000 0.000 0.000

Problem 899

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 55 59 74 58 60 0 0 0

N.S.

1 0.63 0.68 0.85 0.67 0.69 0.00 0.00 0.00

time (sec)

N/A 0.188 0.057 0.249 0.201 0.226 0.000 0.000 0.000

Problem 900

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 71 72 90 79 77 0 0 0

N.S.

1 0.63 0.64 0.80 0.71 0.69 0.00 0.00 0.00

time (sec)

N/A 0.202 0.073 0.151 0.207 0.230 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]